INCOME2010 - a toolset for developing process-oriented information systems based on petri nets

Petri nets are widely accepted as a process modeling technique with formal semantics and mathematical foundation. They are well suitable for modeling (business) processes in executable form and for analyzing process models through simulative validation and formal verification. Nevertheless, there are currently only a small number of Petri net based tools available for developing process-oriented information systems, which have gained importance in recent years because of the awareness that business processes are one of the key success factors for organizations. In this paper we survey the project INCOME2010 aiming at developing an open source software toolset that facilitates the development of process-oriented information systems. It provides functionalities for modeling, analyzing, executing, and monitoring (business) processes using variants of highlevel Petri nets and concepts of Service-Oriented Architecture.